Alexander Lazovik

Filters

2025


  1. Truong, H., Tello, A., Lazovik, A., & Degeler, V. (2025). DiTEC-WDN: A Large-Scale Dataset of Hydraulic Scenarios across Multiple Water Distribution Networks. Scientific Data, 12. https://doi.org/10.1038/s41597-025-06026-0
  2. Medema, M., & Lazovik, A. (2025). A safeness condition for minimal separators based on vertex connectivity. Discrete Mathematics, 348(9). https://doi.org/10.1016/j.disc.2025.114524
  3. Ahmed, S., Dustegor, D., Lazovik, A., & Wörtche, H. J. (2025, August 22). Windowed Multivariate LSTM Autoencoder for Leak Detection in Water Distribution Networks. The 21st Computing and Control in the Water Industry Conference (CCWI 2025). https://doi.org/10.15131/shef.data.29921204.v1
  4. Boughzala, B., Koldehofe, B., & Lazovik, A. (2025). P4mCast: Accelerating and Scaling Fault-Tolerant Atomic Multicast in Multi-Cloud Environment. Proceeding of the 45th IEEE International Conference on Distributed Computing Systems (ICDCS 2025), 1–6. https://hdl.handle.net/11370/fb229f6c-4e0e-4139-b7c0-a6b21673028e
  5. Ahmed, S., Düştegör, D., Lazovik, A., & Wörtche, H. (2025). Windowed Multivariate LSTM Autoencoder for Leak Detection in Water Distribution Networks. The University of Sheffield. https://doi.org/10.15131/SHEF.DATA.29921204.V1

2024


  1. Hadadian Nejad Yousefi, M., Degeler, V., & Lazovik, A. (2024). Self-Adaptive Service Selection for Machine Learning Continuous Delivery. IEEE International Conference on Web Services, 1048–1056. https://doi.org/10.1109/ICWS62655.2024.00123
  2. Medema, M., Breeman, L., & Lazovik, A. (2024). Limiting the memory consumption of caching for detecting subproblem dominance in constraint problems. Constraints, 29, 152–191. https://doi.org/10.1007/s10601-024-09374-7
  3. Tello, A., Truong, H., Lazovik, A., & Degeler, V. (2024, September 4). Large-Scale Multipurpose Benchmark Datasets For Assessing Data-Driven Deep Learning Approaches For Water Distribution Networks. Engineering Proceedings. https://doi.org/10.3390/engproc2024069050
  4. Truong, H., Tello, A., Lazovik, A., & Degeler, V. (2024). Graph Neural Networks for Pressure Estimation in Water Distribution Systems. Water Resources Research, 60(7). https://doi.org/10.1029/2023WR036741
  5. Tello, A., Degeler, V., & Lazovik, A. (2024). Too Good To Be True: accuracy overestimation in (re)current practices for Human Activity Recognition. 2024 IEEE International Conference on Pervasive Computing and Communications Workshops and Other Affiliated Events, PerCom Workshops 2024, 511–517. https://doi.org/10.1109/PerComWorkshops59983.2024.10503465
  6. Degeler, V., Hadadian, M., Karabulut, E., Lazovik, A., Loo, H. van het, Tello, A., & Truong, H. (2024). DiTEC: Digital Twin for Evolutionary Changes in Water Distribution Networks. In T. Margaria & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation (pp. 62–82). Springer International Publishing, Cham, Switzerland. https://doi.org/10.1007/978-3-031-75390-9_5
  7. Y., M. H. N., Degeler, V., & Lazovik, A. (2024). Self-adaptive service selection for machine learning continuous delivery. 2024 IEEE International Conference on Web Services (ICWS).

2023


  1. Yousefi, M. H. N., Degeler, V., & Lazovik, A. (2023). Empowering Machine Learning Development with Service-Oriented Computing Principles. In M. Aiello, J. Barzen, S. Dustdar, & F. Leymann (Eds.), Service-Oriented Computing (pp. 24–44). Springer. https://doi.org/10.1007/978-3-031-45728-9_2
  2. Truong, H., Tello, A., Degeler, V., Lazovik, A., & Koellermeier, J. (2023, July 7). Distorted or high-fidelity dataset for data augmentation in Graph Neural Networks?: Improving pressure estimation in Water Distribution Systems. https://2023.ecmlpkdd.org/submissions/phd-forum/
  3. Y., M. H. N., Degeler, V., & Lazovik, A. (2023). Empowering Machine Learning Development with Service-Oriented Computing Principles. Symposium and Summer School on Service-Oriented Computing, 24–44.

2022


  1. Medema, M., & Lazovik, A. (2022). Correlating the Community Structure of Constraint Satisfaction Problems with Search Time. International Journal on Artificial Intelligence Tools, 31(7). https://doi.org/10.1142/S0218213022600041

2021


  1. Pratama, A. R., Blaauw, F. J., Lazovik, A., & Aiello, M. (2021). Office Low-Intrusive Occupancy Detection Based on Power Consumption. IEEE Access, 9, 141167–141180. https://doi.org/10.1109/ACCESS.2021.3119997
  2. Li, X., Li, L., Lazovik, A., Wang, W., & Wang, X. (2021). 基于改进双流卷积递归神经网络的RGB-D物体识别方法. Guangdian Gongcheng/Opto-Electronic Engineering, 48(2). https://doi.org/10.12086/oee.2021.200069
  3. Langley, D., Doorn, van, J., Ng, I. C. I., Stieglitz, S., Lazovik, A., & Boonstra, A. (2021). The Internet of Everything: Smart things and their impact on business models. Journal of Business Research, 122, 853–863. https://doi.org/10.1016/j.jbusres.2019.12.035
  4. Medema, M., Kaldeli, E., & Lazovik, A. (2021). Automated Service Composition Using AI Planning and Beyond. In M. Aiello, A. Bouguettaya, D. A. Tamburri, & W.-J. van den Heuvel (Eds.), Next-Gen Digital Services. A Retrospective and Roadmap for Service Computing of the Future: Essays Dedicated to Michael Papazoglou on the Occasion of His 65th Birthday and His Retirement (pp. 16–32). Springer. https://doi.org/10.1007/978-3-030-73203-5_2
  5. Albers, T., Lazovik, E., Hadadian Nejad Yousefi, M., & Lazovik, A. (2021). Adaptive On-the-Fly Changes in Distributed Processing Pipelines. Frontiers in Big Data, 4. https://doi.org/10.3389/fdata.2021.666174
  6. Li, X., Zhang, Z., Wu, D., Medema, M., & Lazovik, A. (2021). A multi-robot allocation model for multi-object based on Global Optimal Evaluation of Revenue. International Journal of Advanced Robotic Systems, 18(6). https://doi.org/10.1177/17298814211060650
  7. Albers, T., Lazovik, E., Yousefi, M. H. N., & Lazovik, A. (2021). Adaptive On-the-fly Changes in Distributed Processing Pipelines. Frontiers in Big Data, 79.
  8. Albers, T., Lazovik, E., Y., M. H. N., & Lazovik, A. (2021). Adaptive on-the-fly changes in distributed processing pipelines. Frontiers in Big Data, 4, 666174.

2020


  1. Medema, M., & Lazovik, A. (2020). The Community Structure of Constraint Satisfaction Problems and Its Correlation with Search Time. 2020 IEEE 32nd International Conference on Tools with Artificial Intelligence (ICTAI), 153–160. https://doi.org/10.1109/ICTAI50040.2020.00034
  2. Langley, D. J., van Doorn, J., Ng, I. C. L., Stieglitz, S., Lazovik, A., & Boonstra, A. (2020). The Internet of Everything: Smart things and their impact on business models. Journal of Business Research. https://doi.org/https://doi.org/10.1016/j.jbusres.2019.12.035

2019


  1. Rizky Pratama, A., Lazovik, A., & Aiello, M. (2019). Office Multi-Occupancy Detection using BLE Beacons and Power Meters. 2019 IEEE 10th Annual Ubiquitous Computing, Electronics & Mobile Communication Conference (UEMCON), 0440–0448. https://doi.org/10.1109/UEMCON47517.2019.8993008
  2. Blaauw, F., Overbeek, R., Albers, T., Vlek, J., Maessen, M., Gooijer, J., Lazovik, E., Arbab, F., & Lazovik, A. (2019, March 31). ECiDA: Evolutionary Changes in Data Analysis. https://doi.org/10.13140/RG.2.2.33143.47524
  3. Blaauw, F. J., Overbeek, R., Albers, T., Vlek, J., Maessen, M., Gooijer, J., Lazovik, E., Arbab, F., & Lazovik, A. (2019, March). ECiDA: Evolutionary Changes in Data Analysis. ICT.Open, Hilversum, The Netherlands. https://www.nwo.nl/actueel/evenementen/ict+open

2018


  1. Andrikopoulos, V., Lazovik, A., Kollenstart, M., Langius, E., & Harmsma, E. (2018). Adaptive Provisioning of Heterogeneous Cloud Resources for Big Data Processing. Big Data and Cognitive Computing, 2(3). https://doi.org/10.3390/bdcc2030015

2017


  1. Pratama, A. R., Widyawan, Lazovik, A., & Aiello, M. (2017). Power-Based Device Recognition for Occupancy Detection. Service-Oriented Computing - ICSOC 2017 Workshops, in press.

2016


  1. Kaldeli, E., Lazovik, A., & Aiello, M. (2016). Domain-independent planning for services in uncertain and dynamic environments. Artificial Intelligence, 236(7), 30–64. https://doi.org/10.1016/j.artint.2016.03.002
  2. Setz, B., Nizamic, F., Lazovik, A., & Aiello, M. (2016). Power Management of Personal Computers based on User Behaviour. International Conference on Smart Cities and Green ICT Systems, 409–416.
  3. Kaldeli, E., Lazovik, A., & Aiello, M. (2016). Domain-Independent Planning for Services in Uncertain and Dynamic Environments. Artificial Intelligence, 236(7), 30–64. http://www.sciencedirect.com/science/article/pii/S000437021630025X

2014


  1. van Beest, N. R. T. P., Kaldeli, E., Bulanov, R., Wortmann, J. C., & Lazovik, A. (2014). Automated runtime repair of business processes. Information Systems, 39, 45–79. https://doi.org/10.1016/j.is.2013.07.003
  2. Degeler, V., & Lazovik, A. (2014). Dynamic Constraint Satisfaction with Space Reduction in Smart Environments. International Journal on Artificial Intelligence Tools, 23(06). https://doi.org/10.1142/S0218213014600276
  3. Nizamic, F., Nguyen, T. A., Lazovik, A., & Aiello, M. (2014). GreenMind-An Architecture and Realization for Energy Smart Buildings. The 2nd International Conference on ICT for Sustainability (ICT4S 2014).
  4. Georgievski, I., & Lazovik, A. (2014). Utility-Based HTN Planning. 21st European Conference on Artificial Intelligence, 1013–1014.
  5. Degeler, V., Lazovik, A., Leotta, F., & Mecella, M. (2014). Itemset-based mining of constraints for enacting smart environments. Symposium on Activity and Context Modeling and Recognition, 41–46.
  6. Harrer, S., Nizamic, F., Wirtz, G., & Lazovik, A. (2014). Towards a Robustness Evaluation Framework for BPEL Engines. International Conference on Service Oriented Computing & Applications, 7.
  7. van Beest, N. R. T. P., Kaldeli, E., Bulanov, P., Wortmann, J. C., & Lazovik, A. (2014). Automated Runtime Repair of Business Processes. Inf. Syst., 39, 45–79. http://dx.doi.org/10.1016/j.is.2013.07.003
  8. Nizamic, F., Nguyen, T. A., Lazovik, A., & Aiello, M. (2014). GreenMind - An Architecture and Realization for Energy Smart Buildings. International Conference on ICT for Sustainability, 20–29. http://dx.doi.org/10.2991/ict4s-14.2014.3
  9. Degeler, V., Lazovik, A., Leotta, F., & Mecella, M. (2014). Itemset-based Mining of Constraints for Enacting Smart Environments. Symposium on Activity and Context Modeling and Recognition, 41–46. http://dx.doi.org/10.1109/PerComW.2014.6815162

2013


  1. Beest, N. R. T. P. V., Bucur, D., Wortmann, J. C., & Lazovik, A. (2013). An Automated Analysis Of Process Interference Verified With LTL Checking (Technical Report Nos. 2013-08-07; Issues 2013-08-07). University of Groningen. http://www.cs.rug.nl/ doina/TR/TR-2013-08-07.pdf
  2. Kaldeli, E., Warriach, E. U., Lazovik, A., & Aiello, M. (2013). Coordinating the Web of Services for a Smart Home. Acm Transactions on the Web, 7(2). https://doi.org/10.1145/2460383.2460389
  3. Nguyen, T. A., Degeler, V., Contarino, R., Lazovik, A., Bucur, D., & Aiello, M. (2013). Towards Context Consistency in a Rule-Based Activity Recognition Architecture. Ubiquitous Intelligence and Computing, IEEE and International Conference on and 10th International Conference on Autonomic and Trusted Computing, 625–630. https://doi.org/10.1109/UIC-ATC.2013.97
  4. Warriach, E. U., Kaldeli, E., Lazovik, A., & Aiello, M. (2013). An Interplatform Service-Oriented Middleware for the Smart Home. International Journal of Smart Home, 7(1).
  5. van Beest, N., Bucur, D., Wortmann, J., & Lazovik, A. (2013). An Automated Analysis Of Process Interference Verified With LTL Checking. University of Groningen, Johann Bernoulli Institute for Mathematics and Computer Science.
  6. Degeler, V., & Lazovik, A. (2013). Architecture pattern for context-aware smart environments. In P. H. D. Riboni B. Guo (Ed.), Creating personal, social and urban awareness through pervasive computing. IGI Global.
  7. Degeler, V., Gonzalez, L. I. L., Leva, M., Shrubsole, P., Bonomi, S., Amft, O., & Lazovik, A. (2013). Service-oriented architecture for smart environments. IEEE International Conference on Service Oriented Computing and Applications, 99–104.
  8. Degeler, V., & Lazovik, A. (2013). Dynamic constraint reasoning in smart environments. IEEE International Conference on Tools with Artificial Intelligence, 167–174.
  9. Degeler, V., & Lazovik, A. (2013). Architecture pattern for context-aware smart environments. In D. Riboni, B. Guo, & P. Hu (Eds.), Creating Personal, Social and Urban Awareness through Pervasive Computing. IGI Global. http://vdegeler.com/files/13patternarch.pdf
  10. Degeler, V., Gonzalez, L. I. L., Leva, M., Shrubsole, P., Bonomi, S., Amft, O., & Lazovik, A. (2013). Service-Oriented Architecture for Smart Environments. IEEE International Conference on Service Oriented Computing and Applications, 99–104. http://vdegeler.com/files/13gbsoca.pdf
  11. Degeler, V., & Lazovik, A. (2013). Dynamic Constraint Reasoning in Smart Environments. IEEE International Conference on Tools with Artificial Intelligence. http://vdegeler.com/files/13rmedcsp.pdf

2012


  1. Bulanov, P., Lazovik, A., & Aiello, M. (2012). Business Process Customization using Process Merging Techniques. In International Conference on Service-Oriented Computing and Applications (pp. 1–4). IEEE (The Institute of Electrical and Electronics Engineers).
  2. Degeler, V., & Lazovik, A. (2012). Cost-efficient context-aware rule maintenance. International Conference on Pervasive Computing and Communications Workshops, 608–612.
  3. van Beest, N., Kaldeli, E., Bulanov, P., Wortmann, J. C., & Lazovik, A. (2012). Automatic Detection of Business Process Interference. International Workshop on Knowledge-Intensive Business Processes.
  4. Georgievski, I., Degeler, V., Pagani, G. A., Nguyen, T. A., Lazovik, A., & Aiello, M. (2012). Optimizing Energy Costs for Offices Connected to the Smart Grid. IEEE Transactions on Smart Grid, 3(4), 2273–2285. https://doi.org/10.1109/TSG.2012.2218666
  5. Aiello, M., Aloise, F., Baldoni, R., Cincotti, F., Guger, C., Lazovik, A., Mecella, M., Pucci, P., Rinsma, J., Santucci, G., & Taglieri, M. (2012). Smart Homes to Improve the Quality of Life for All. Annual International IEEE Engineering in Medicine and Biology Conference, 1777–1780.
  6. Nizamic, F., Degeler, V., Groenboom, R., & Lazovik, A. (2012). Policy-Based Scheduling of Cloud Services. Scalable Computing: Practice and Experience, 13(3), 187–199.
  7. Caruso, M., Ciccio, C. D., Iacomussi, E., Kaldeli, E., Lazovik, A., & Mecella, M. (2012). Service Ecologies for Home/Building Automation. International IFAC Symposium on Robot Control, 467–472.
  8. Degeler, V., & Lazovik, A. (2012). Reduced context consistency diagrams for resolving inconsistent data. ICST Transactions on Ubiquitous Environments, 12(10-12).
  9. Degeler, V., & Lazovik, A. (2012). Reduced Context Consistency Diagrams for Resolving Inconsistent Data. ICST Transactions on Ubiquitous Environments, 12(10-12). http://eudl.eu/pdf/10.4108/trans.ubienv.2012.10-12.e2
  10. Degeler, V., & Lazovik, A. (2012). Cost-efficient Context-aware Rule Maintenance. Workshop on Context Modeling and Reasoning, 608–612. http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6197587&tag=1

2011


  1. Georgievski, I., Degeler, V., Pagani, G. A., Nguyen, T. A., Lazovik, A., & Aiello, M. (2011). Optimizing Offices for the Smart Grid (Technical Report No. JBI 2011-12-01; Issue JBI 2011-12-01). University of Groningen. http://www.cs.rug.nl/ georgievski/pubs/opthect.pdf
  2. Clarke, D., Proenca, J., Lazovik, A., & Arbab, F. (2011). Channel-based coordination via constraint satisfaction. Science of Computer Programming, 76(8), 681–710. https://doi.org/10.1016/j.scico.2010.05.004
  3. Krause, C., Maraikar, Z., Lazovik, A., & Arbab, F. (2011). Modeling dynamic reconfigurations in Reo using high-level replacement systems. Science of Computer Programming, 76(1), 23–36. https://doi.org/10.1016/j.scico.2009.10.006
  4. Kaldeli, E., Lazovik, A., & Aiello, M. (2011). Continual Planning with Sensing for Web Service Composition. AAAI Conference on Artificial Intelligence, 1198–1203.
  5. Warriach, E. U., Kaldeli, E., Bresser, J., Lazovik, A., & Aiello, M. (2011). Heterogeneous Device Discovery Framework for the Smart Homes. IEEE GCC Conference Exhibition, 637–640.
  6. Aiello, M., Aloise, F., Baldoni, R., Cincotti, F., Guger, C., Lazovik, A., Mecella, M., Pucci, P., Rinsma, J., Santucci, G., & Taglieri, M. (2011). Smart Homes to Improve the Quality of Life for All. 2011 ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), 1777–1780.
  7. Degeler, V., & Lazovik, A. (2011). Interpretation of Inconsistencies via Context Consistency Diagrams. 2011 IEEE INTERNATIONAL CONFERENCE ON PERVASIVE COMPUTING AND COMMUNICATIONS (PERCOM 2011), 20–27.
  8. Nizamic, F., Groenboom, R., & Lazovik, A. (2011). Testing Highly Distributed Service-oriented Systems using Virtual Environments. Proceedings of the 17th Dutch Testing Day: Testing Evolvability.
  9. F. Nizamic, R. G., & Lazovik, A. (2011). Testing for Highly Distributed Service-oriented Systems using Virtual Environments. Dutch Testing Day.
  10. Krause, C., Maraikar, Z., Lazovik, A., & Arbab, F. (2011). Modeling Dynamic Reconfigurations in Reo using High-Level Replacement Systems. Science of Computer Programming, 76(1), 23–36. http://www.cs.rug.nl/ lazovik/papers/2011/reo-reconf.pdf
  11. Warriach, E. U., Kaldeli, E., Bresser, J., Lazovik, A., & Aiello, M. (2011). Heterogeneous Device Discovery Framework For the Smart Homes. IEEE GCC Conference & Exhibition, 637–640. http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5752621
  12. Bulanov, P., Lazovik, A., & Aiello, M. (2011). Business Process Customization using Process Merging Techniques. International Conference on Service-Oriented Computing and Applications, 1–4. http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6166255

2010


  1. Warriach, E. U., Kaldeli, E., Bresser, J., Lazovik, A., & Aiello, M. (2010). A Tool for Integrating Pervasive Services and Simulating Their Composition. In P. P. Maglio, M. Weske, J. Yang, & M. Fantinato (Eds.), International Conference on Service Oriented Computing (pp. 726–727). Springer.
  2. Kaldeli, E., Warriach, E. U., Bresser, J., Lazovik, A., & Aiello, M. (2010). Interoperation, Composition and Simulation of Services at Home. In P. P. Maglio, M. Weske, J. Yang, & M. Fantinato (Eds.), SERVICE-ORIENTED COMPUTING - ICSOC 2010, PROCEEDINGS (pp. 167–181). Springer.
  3. van Beest, N. R. T. P., Bulanov, P., Wortmann, H., & Lazovik, A. (2010). Resolving Business Process Interference via Dynamic Reconfiguration. In P. P. Maglio, M. Weske, J. Yang, & M. Fantinato (Eds.), SERVICE-ORIENTED COMPUTING - ICSOC 2010, PROCEEDINGS (pp. 47–60). Springer.
  4. Degeler, V., Georgievski, I., Lazovik, A., & Aiello, M. (2010). Concept mapping for faster QoS-Aware Web Service Composition. Service-Oriented Computing and Applications (SOCA), 2010 IEEE International Conference On, 1–4.
  5. Noordhuis, P., Heijkoop, M., & Lazovik, A. (2010). Mining Twitter in the Cloud: A Case Study. IEEE International Conference on Cloud Computing, 107–114.
  6. Degeler, V., Georgievski, I., Lazovik, A., & Aiello, M. (2010). Concept Mapping for Faster QoS-AwareWeb Service Composition. In EPRINTS-BOOK-TITLE. University of Groningen, Johann Bernoulli Institute for Mathematics and Computer Science.
  7. Clarke, D., Proenca, J., Lazovik, A., & Arbab, F. (2010). Channel-based Coordination via Constraint Satisfaction. Science of Computer Programming. https://lirias.kuleuven.be/bitstream/123456789/288820/1/2nd-revision-Channel-based+Coordination+via+Constraint+Satisfaction.pdf
  8. Warriach, E. U., Kaldeli, E., Bresser, J., Lazovik, A., & Aiello, M. (2010). A tool for integrating pervasive services and simulating their composition. International Conference on Service Oriented Computing, Demo Session, 726–727. http://iwi.eldoc.ub.rug.nl/FILES/root/2010/LNCSWarriach/2010LNCSWarriach.pdf

2009


  1. Kaldeli, E., Lazovik, A., & Aiello, M. (2009). Extended Goals for Composing Services. International Conference on Automated Planning and Scheduling, 362–365.
  2. Lazovik, A., Avgeriou, P., & Wortmann, J. (2009). Workshop for e-Government via Software Services (WeGovS2 2009). 2009 18TH IEEE INTERNATIONAL WORKSHOP ON ENABLING TECHNOLOGIES: INFRASTRUCTURES FOR COLLABORATIVE ENTERPRISES, 252–253.
  3. Aiello, M., Khoury, E. el, Lazovik, A., & Ratelband, P. (2009). Optimal QoS-Aware Web Service Composition. Joint IEEE Conference on E-Commerce Technology and IEEE Conference on Enterprise Computing, E-Commerce and E-Services IEEE Computer, 491–494.
  4. Baldoni, R., Ciccio, C. D., Mecella, M., Patrizi, F., Querzoni, L., Santucci, G., Dustdar, S., Li, F., Truong, H.-L., Albornos, L., Milagro, F., Antolin Rafael, P., Ayani, R., Rasch, K., Garcia Lozano, M., Aiello, M., Lazovik, A., Denaro, A., Lasala, G., … Aloise, F. (2009). An Embedded Middleware Platform for Pervasive and Immersive Environments for-All. In EPRINTS-BOOK-TITLE. University of Groningen, Johann Bernoulli Institute for Mathematics and Computer Science.
  5. Lazovik, E., den Dulk, P., Groote, M. de, Lazovik, A., & Aiello, M. (2009). Services Inside the Smart Home: A Simulation and Visualization Tool. In L. Baresi, C. H. Chi, & J. Suzuki (Eds.), Service-Oriented Computing - ICSOC 2009, Proceedings (pp. 651–652). Springer. https://doi.org/10.1007/978-3-642-10383-4_53
  6. Lazovik, E., Lazovik, A., Kaldeli, E., & Aiello, M. (2009). Planning in a Smart Home: Visualization and Simulation. International Conference on Automated Planning and Scheduling, 13–16.
  7. Lazovik, E., den Dulk, A. C. T., de Groote, M., Lazovik, A., & Aiello, M. (2009). Services inside the Smart Home: A Simulation and Visualization tool. International Conference on Service Oriented Computing. http://www.cs.rug.nl/ aiellom/publications/icsoc09.pdf

2006


  1. Lazovik, A., Aiello, M., & Papazoglou, M. (2006). Planning and monitoring the execution of web service requests. International Journal on Digital Libraries, 6(3), 235–246.
  2. Lazovik, A., Aiello, M., & Gennari, R. (2006). Choreographies: using Constraints to Satisfy Service Requests. In Proceedings of the Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services (AICT/ICIW 2006). IEEE (The Institute of Electrical and Electronics Engineers).
  3. Aiello, M., & Lazovik, A. (2006). Monitoring Assertion-Based Business Processes. International Journal of Cooperative Information Systems, 15(3), 359–389.

2005


  1. Lazovik, A., Aiello, M., & Gennari, R. (2005). Encoding Requests to Web Service Compositions as Constraints. In P. van Beek (Ed.), CP 2005, LNCS 3709 (pp. 782–786). Springer.
  2. Lazovik, A., Aiello, M., & Gennari, R. (2005). Encoding Requests to Web Service Compositions as Constraints. University of Groningen, Johann Bernoulli Institute for Mathematics and Computer Science.

2004


  1. Lazovik, A., Aiello, M., & Papazoglou, M. (2004). Associating Assertions with Business Processes and Monitoring their Execution. In EPRINTS-BOOK-TITLE. University of Groningen, Johann Bernoulli Institute for Mathematics and Computer Science.

2003


  1. Lazovik, A., Aiello, M., & Papazoglou, M. (2003). Planning and monitoring the execution of web service requests. In EPRINTS-BOOK-TITLE. University of Groningen, Johann Bernoulli Institute for Mathematics and Computer Science.
  2. Lazovik, A., Aiello, M., & Papazoglou, M. (2003). Planning and monitoring the execution of web service requests. University of Groningen, Johann Bernoulli Institute for Mathematics and Computer Science.